triangle inequality theorem 3